
function findURL() {
  url = document.getElementById("url").value;
  href = "doc_" + hex_md5(url) + ".html";
  document.location = href;
}